Basic research

Results: 2119



#Item
351

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and

Add to Reading List

Source URL: www.brics.dk

- Date: 2000-05-31 07:31:11
    352

    BRICS Basic Research in Computer Science BRICS RS-02-8 Cramer & Fehr: Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2002-03-22 09:02:27
      353

      BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2006-11-27 19:50:41
        354

        BRICS RSLarsen et al.: An Interface Theory for Input/Output Automata BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2006-12-16 19:08:50
          355

          BRICS Basic Research in Computer Science BRICS NS-99-1 O. Danvy (ed.): PEPM ’99 Proceedings

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2004-03-04 09:22:16
            356

            BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Full Abstraction for HOPLA Full Abstraction for HOPLA

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2004-01-23 09:27:06
              357

              BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 1998-02-10 09:56:55
                358

                BRICS RS-08-5 Danvy & Johannsen: Inter-Deriving Semantic Artifacts for Object-Oriented Programming BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2008-06-27 05:21:55
                  359

                  Letters from Overseas Alumni gery in 2006, did MMD become the focus in my department. Since then, my clinic and basic research has been focused on MMD. With the joint efforts of my staff, our department has gradually est

                  Add to Reading List

                  Source URL: www.tmd.ac.jp

                  - Date: 2013-04-09 05:01:06
                    360

                    Assays for Total Protein UNIT 3.4 Total protein assays are used to analyze hundreds of industrial, agricultural, and biotechnology products. They are also basic for research purposes, especially for determining the spec

                    Add to Reading List

                    Source URL: www.ibt.lt

                    - Date: 2008-11-14 05:42:00
                      UPDATE